- формула замкнутости
- closedness formula мат.
Русско-английский научно-технический словарь Масловского. 2015.
формула замкнутости
Look at other dictionaries:
ЗАМКНУТАЯ ФОРМУЛА — такая формула логич. исчисления, к рая выражает нек рое высказывание; формула, не содержащая свободных переменных вовсе или имеющая только такие их вхождения, к рые нельзя связывать кванторами, не выходя за рамки данного исчисления. Напр., З. ф.… … Философская энциклопедия
Портрет итальянского Ренессанса — Сандро Боттичелли. «Портрет юноши с медалью Козимо Медичи». 1470 1477. Уффици, Флоренция Портрет итальянского … Википедия
МНОГОГРАННИК — часть пространства, ограниченная совокупностью конечного числа плоских многоугольников (см. ГЕОМЕТРИЯ), соединенных таким образом, что каждая сторона любого многоугольника является стороной ровно одного другого многоугольника (называемого… … Энциклопедия Кольера
Комплексное число — Запрос «Мнимая величина» перенаправляется сюда; см. также другие значения. Запрос «Re» перенаправляется сюда; см. также другие значения. Запрос «Im» перенаправляется сюда; см. также другие значения. Комплексные[1] числа (устар. Мнимые числа … Википедия
Комплексное сопряжение — Запрос «Комплексные числа» перенаправляется сюда. Cм. также другие значения. Комплексные[1][2] числа расширение множества вещественных чисел, обычно обозначается . Любое комплексное число может быть представлено как формальная сумма x + iy, где… … Википедия
Комплексные числа — Запрос «Комплексные числа» перенаправляется сюда. Cм. также другие значения. Комплексные[1][2] числа расширение множества вещественных чисел, обычно обозначается . Любое комплексное число может быть представлено как формальная сумма x + iy, где… … Википедия
Мнимая величина — Запрос «Комплексные числа» перенаправляется сюда. Cм. также другие значения. Комплексные[1][2] числа расширение множества вещественных чисел, обычно обозначается . Любое комплексное число может быть представлено как формальная сумма x + iy, где… … Википедия
Мнимые числа — Запрос «Комплексные числа» перенаправляется сюда. Cм. также другие значения. Комплексные[1][2] числа расширение множества вещественных чисел, обычно обозначается . Любое комплексное число может быть представлено как формальная сумма x + iy, где… … Википедия
Чисто мнимое число — Запрос «Комплексные числа» перенаправляется сюда. Cм. также другие значения. Комплексные[1][2] числа расширение множества вещественных чисел, обычно обозначается . Любое комплексное число может быть представлено как формальная сумма x + iy, где… … Википедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
ЭЙНШТЕЙН Альберт — (Einstein, Albert) (1879 1955), физик теоретик, один из основоположников современной физики. Известный прежде всего как автор теории относительности, внес также огромный вклад в создание квантовой механики, развитие статистической физики и… … Энциклопедия Кольера
